Early psychophysical methods as codified by Fechner motivate the development of quantitative theories of subjective experience. The basic insight is that just noticeable differences between experiences can serve as units for measuring a sensory domain. However, the methods described by Fechner tacitly assume that the experiences being investigated can be linearly ordered. This assumption is not true for all sensory domains; for example, there is no trivial linear order over all possible color sensations. This paper discusses key developments in the (...) history of psychophysical methods for measuring color experience. In particular, a clear distinction between topological and metrical structure allowed Helmholtz to use opponent colors as a standard for measuring the gross structure of color space. Once this gross structure had been determined, lines through color space could be defined and Fechner-style methods employed for determining local structure. Extensions of these methods due to Wright, MacAdam, and others provide detailed evidence for the degree of agreement in the qualities of color experience across individuals. This allows a precise statement of the evidential support for the claim that your experience of color and mine are the same. (shrink)

Second-order quantifier elimination in the context of classical logic emerged as a powerful technique in many applications, including the correspondence theory, relational databases, deductive and knowledge databases, knowledge representation, commonsense reasoning and approximate reasoning. In the current paper we first generalize the result of Nonnengart and Szałas [17] by allowing second-order variables to appear within higher-order contexts. Then we focus on a semantical analysis of conditionals, using the introduced technique and Gabbay’s semantics provided in [10] and substantially using a (...) third-order accessibility relation. The analysis is done via finding correspondences between axioms involving conditionals and properties of the underlying third-order relation. (shrink)

There is public support in the United States and Europe for accounting for animal welfare in national policies on food and agriculture. Although an emerging body of research has measured animals’ capacity to suffer, there has been no specific attempt to analyze how this information is interpreted by the public or how exactly it should be reflected in policy. The aim of this study was to quantify Americans’ preferences about farming methods and the suffering they impose on different species to (...) generate a metric for weighing the trade-offs between different approaches of promoting animal welfare. A survey of 502 residents of the United States was implemented using the online platform Mechanical Turk. Using respondent data, we developed the species-adjusted measure of suffering-years, an analogue of the disability-adjusted life year, to calculate the suffering endured under different farming conditions by cattle, pigs, and chickens, the three most commonly consumed animals. Nearly one-third of respondents reported that they believed animal suffering should be taken into account to a degree equal to or above human suffering. The 2016 suffering burden in the United States according to two tested conditions was approximately 66 million SAMYs for pigs, 156 million SAMYs for cattle, and 1.3 billion SAMYs for chickens. This calculation lends early guidance for efforts to reduce animal suffering, demonstrating that to address the highest burden policymakers should focus first on improving conditions for chickens. (shrink)

Precision livestock farming (PLF) is the management of livestock using the principles and technology of process engineering. Key to PLF is the dense monitoring of variegated parameters, including animal growth, output of produce (e.g. milk, eggs), diseases, animal behaviour, and the physical environment (e.g. thermal micro-environment, ammonia emissions). While its proponents consider PLF a win-win strategy that combines production efficiency with sustainability goals and animal welfare, critics emphasise, inter alia, the potential interruption of human-animal relationships. This paper discusses the notion (...) that the objectification of animals by PLF influences the developmental pathways of conventional industrial farming. We conduct a conceptual analysis of objectification by comparing discussions in feminist ethics and animal ethics. We find that in animal ethics, objectification includes deontological arguments regarding instrumentalisation, de-animalisation, alienation, commodification and quantification of animals. The focus on socio-political context and relationality connects these debates to central ideas in care ethics. We adopt a care ethics perspective to assess the implications of the objectification of animals in livestock farming. The basic claim is that sensory knowledge symbolised by the farmers’ unity of hand, head and heart would make it harder to objectify animals than abstract and instrumental reasoning where the pursuit of knowledge is intertwined with the pursuit of control, as in mainstream PLF. Despite of what can be considered as a good caring relationship between farmers and animals that is mediated by PLF, people involved in conventional industrial farming still seem to become further detached from farmers and animals, because the PLF system itself is objectifying. PLF redefines the notion of care, in terms of data transparency, standardisation of methods for analysis, real-time collection and processing of data, remote control, and the use of digital platforms. This creates new expectations and requires a redistribution of responsibilities within a wider scope of relations in the value chain. (shrink)

Mathematical theory of voting and social choice has attracted much attention. In the general setting one can view social choice as a method of aggregating individual, often conflicting preferences and making a choice that is the best compromise. How preferences are expressed and what is the “best compromise” varies and heavily depends on a particular situation. The method we propose in this paper depends on expressing individual preferences of voters and specifying properties of the resulting ranking by means of first-order (...) formulas. Then, as a technical tool, we use methods of second-order quantifier elimination to analyze and compute results of voting. We show how to specify voting, how to compute resulting rankings and how to verify voting protocols. (shrink)

The present study examined the neural substrate of two classes of quantifiers: numerical quantifiers like ” at least three” which require magnitude processing, and logical quantifiers like ” some” which can be understood using a simple form of perceptual logic. We assessed these distinct classes of quantifiers with converging observations from two sources: functional imaging data from healthy adults, and behavioral and structural data from patients with corticobasal degeneration who have acalculia. Our findings are consistent with the claim that numerical (...) quantifier comprehension depends on a lateral parietal-dorsolateral prefrontal network, but logical quantifier comprehension depends instead on a rostral medial prefrontal-posterior cingulate network. These observations emphasize the important contribution of abstract number knowledge to the meaning of numerical quantifiers in semantic memory and the potential role of a logic-based evaluation in the service of non-numerical quantifiers. (shrink)

Precision livestock farming is the management of livestock using the principles and technology of process engineering. Key to PLF is the dense monitoring of variegated parameters, including animal growth, output of produce, diseases, animal behaviour, and the physical environment. While its proponents consider PLF a win-win strategy that combines production efficiency with sustainability goals and animal welfare, critics emphasise, inter alia, the potential interruption of human-animal relationships. This paper discusses the notion that the objectification of animals by PLF influences the (...) developmental pathways of conventional industrial farming. We conduct a conceptual analysis of objectification by comparing discussions in feminist ethics and animal ethics. We find that in animal ethics, objectification includes deontological arguments regarding instrumentalisation, de-animalisation, alienation, commodification and quantification of animals. The focus on socio-political context and relationality connects these debates to central ideas in care ethics. We adopt a care ethics perspective to assess the implications of the objectification of animals in livestock farming. The basic claim is that sensory knowledge symbolised by the farmers’ unity of hand, head and heart would make it harder to objectify animals than abstract and instrumental reasoning where the pursuit of knowledge is intertwined with the pursuit of control, as in mainstream PLF. Despite of what can be considered as a good caring relationship between farmers and animals that is mediated by PLF, people involved in conventional industrial farming still seem to become further detached from farmers and animals, because the PLF system itself is objectifying. PLF redefines the notion of care, in terms of data transparency, standardisation of methods for analysis, real-time collection and processing of data, remote control, and the use of digital platforms. This creates new expectations and requires a redistribution of responsibilities within a wider scope of relations in the value chain. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

A review of Eli Hirsch, Quantifier Variance and Realism: Essays in Metaontology, Oxford University Press, 2011.

For the few scientists that earn a Nobel prize, the im-, D.J. Scalapino, G. Parisi, pact and relevance of their research work is unquestion- S.G. Louie, R. Jackiw, F. Wilczek able. Among the rest of us, how does one quantify the, C. Vafa, M.B. Maple, D.J. cumulative impact and relevance of an individual’s sci- Gross, M.S. Dresselhaus, S.W. Hawkentific research output? In a world of not unlimited reing. sources such quantification (even if potentially distaste- I argue that h is preferable (...) to other single-number cri-. (shrink)

We investigate quantifier-free induction for Lisp-like lists constructed inductively from the empty list $$nil$$ nil and the operation $${\textit{cons}}$$ cons, that adds an element to the front of a list. First we show that, for $$m \ge 1$$ m ≥ 1, quantifier-free $$m$$ m -step induction does not simulate quantifier-free $$(m + 1)$$ ( m + 1 ) -step induction. Secondly, we show that for all $$m \ge 1$$ m ≥ 1, quantifier-free $$m$$ m (...) -step induction does not prove the right cancellation property of the concatenation operation on lists defined by left-recursion. (shrink)

A quantified universe is a set M equipped with a Riesz space equation image of real functions on Mn, for each n, and a second order operation equation image. Metric structures 4, graded probability structures 9 and many other structures in analysis are examples of such universes. We define ultraproduct of quantified universes and study properties preserved by this construction. We then discuss logics defined on the basis of classes of quantified universes which are closed under this construction.

We investigate some logics with Henkin quantifiers. For a given logic L, we consider questions of the form: what is the degree of the set of L–tautologies in a poor vocabulary (monadic or empty)? We prove that the set of tautologies of the logic with all Henkin quantifiers in empty vocabulary L*∅ is of degree 0’. We show that the same holds also for some weaker logics like L ∅(Hω) and L ∅(Eω). We show that each logic of the form (...) L ∅ (k)(Q), with the number of variables restricted to k, is decidable. Nevertheless – following the argument of M. Mostowski from [Mos89] – for each reasonable set theory no concrete algorithm can provably decide L (k) (Q), for some (Q). We improve also some results related to undecidability and expressibility for logics L(H4) and L(F2) of Krynicki and M. Mostowski from [KM92]. (shrink)

Since the time, about a century ago, when DeMorgan, Boole and Jevons, inaugurated the study of the logic of numerically definite reasoning, no one has been concerned to establish the validity rules for a very general type of numerically definite inference which is a strong analogue of the classical syllogism. The reader will readily agree that the traditional rules of syllogistic inference cannot even begin to decide whether the following proportionally quantified syllogism is a valid argument: at most 4/7 p (...) are at most 2/3 not-m and at least 3/5 s are precisely 7/8 m, hence, at most 1/3 s are p. Likely reasons, of broad methodological interest, why this readily definable type of formal inference has been neglected will presently be proposed. Among the masters of twentieth century logic, Hilbert and Bernays have, to be sure, meticulously shown how such numerically definite propositions as “at least 7 individuals have the property p” can be expressed in the predicate calculus with the use of the identity relation. They do not, since their concern with such propositions is indirect, proceed to establish a systematic calculus of classes whose “size” or extent is numerically definite. As we shall always notice, traditional logic and even ordinary Boolean algebra prefer to generalize about the laws governing the interrelationship of classes in inference systems without making any hypotheses concerning class “size” or extent except by the classical quantifier “some”, which quantifier admits the measure or extent of a class only in terms of the proposition that a given class contains or does not contain at least one member. Such a restricted admission of the relevance for inference of class size is among the fundamental reasons for the neglect of proportional quantifiers, i.e., quantifiers where numerical value is any rational number r such that 0/100 ≤ r ≤ 100/100. It can, of course, also be pointed out that the traditional syllogism and ordinary Boolean algebra do not i.e. measure, numerically define, the degree of inclusion of one class in another. Inclusion is taken either as total or partial, with no discrimination of the degree of partial inclusion. (shrink)

The problem of computational complexity of semantics for some natural language constructions – considered in [M. Mostowski, D. Wojtyniak 2004] – motivates an interest in complexity of Ramsey quantifiers in finite models. In general a sentence with a Ramsey quantifier R of the following form Rx, yH(x, y) is interpreted as ∃A(A is big relatively to the universe ∧A2 ⊆ H). In the paper cited the problem of the complexity of the Hintikka sentence is reduced to the problem of (...) computational complexity of the Ramsey quantifier for which the phrase “A is big relatively to the universe” is interpreted as containing at least one representative of each equivalence class, for some given equvalence relation. In this work we consider quantifiers Rf, for which “A is big relatively to the universe” means “card(A) > f (n), where n is the size of the universe”. Following [Blass, Gurevich 1986] we call R mighty if Rx, yH(x, y) defines N P – complete class of finite models. Similarly we say that Rf is N P –hard if the corresponding class is N P –hard. We prove the following theorems. (shrink)

Hartry Field has shown us a way to be nominalists: we must purge our scientific theories of quantification over abstracta and we must prove the appropriate conservativeness results. This is not a path for the faint hearted. Indeed, the substantial technical difficulties facing Field's project have led some to explore other, easier options. Recently, Jody Azzouni, Joseph Melia, and Stephen Yablo have argued that it is a mistake to read our ontological commitments simply from what the quantifiers of our best (...) scientific theories range over. In this paper, I argue that all three arguments fail and they fail for much the same reason; would-be nominalists are thus left facing Field's hard road. (shrink)

We consider the notion of bounded m-ary patch-width defined in [9], and its very close relative m-constructibility defined below. We show that the notions of m-constructibility all coincide for m ≥ 3, while 1-constructibility is a weaker notion. The same holds for bounded m-ary patch-width. The case m = 2 is left open.

In the first part of this paper we introduced products of modal logics and proved basic results on their axiomatisability and the f.m.p. In this continuation paper we prove a stronger result - the product f.m.p. holds for products of modal logics in which some of the modalities are reflexive or serial. This theorem is applied in classical first-order logic, we identify a new Square Fragment of the classical logic, where the basic predicates are binary and all quantifiers are relativised, (...) and for which we show the f.m.p. in the classical sense. Also we prove that SF not included in Guarded Fragment and that it can be embedded into the equational theory of relational algebras. (shrink)

Continued concern for animal welfare may be alleviated when welfare would be monitored on farms. Monitoring can be characterized as an information system where various stakeholders periodically exchange relevant information. Stakeholders include producers, consumers, retailers, the government, scientists, and others. Valuating animal welfare in the animal-product market chain is regarded as a key challenge to further improve the welfare of farm animals and information on the welfare of animals must, therefore, be assessed objectively, for instance, through monitoring. Interviews with Dutch (...) stakeholder representatives were conducted to identify their perceptions about the monitoring of animal welfare. Stakeholder perceptions were characterized in relation to the specific perspectives of each stakeholder. While producers tend to perceive welfare from a production point of view, consumers will use visual images derived from traditional farming and from the animals’ natural environments. Scientists’ perceptions of animal welfare are affected by the need to measure welfare with quantifiable parameters. Retailers and governments (policy makers) have views of welfare that are derived from their relationships with producers, consumers, non-governmental organizations (NGOs), and scientists. All interviewed stakeholder representatives stated that animal welfare is important. They varied in the extent to which they weighted economic considerations relative to concern for the animals’ welfare. Many stakeholders emphasized the importance of communication in making a monitoring system work. Overall, the perspectives for the development of a sustainable monitoring system that substantially improves farm animal welfare were assessed as being poor in the short term. However, a reliable system could be initiated under certain conditions, such as integrated chains and with influential and motivated stakeholders. A scheme is described with attention points for the development of sustainable monitoring systems for farm animal welfare in the long term. (shrink)

In the opening sections of this paper, we defined ambiguity in terms of distinct sentences (for a single sentence-string) with, in particular, distinct sets of truth conditions for the corresponding negative sentence-string. Lexical vagueness was defined as equivalent to disjunction, for under conditions of the negation of a sentence-string containing such an expression, all the relevant more specific interpretations of the string had also to be negated. Yet in the case of mixed quantification sentences, the strengthened, more specific, interpretations of (...) some such positive string are not all of them necessarily implied to be false if the corresponding negative sentence-string is asserted. On the contrary, as we saw in section 6, a negative sentence-string can be used to deny one of the more specific interpretations of the corresponding positive string without also denying other weaker interpretations of that same string. One might therefore argue that the only empirical evidence availble for assessing quantified sentences suggests clearly that these sentence-strings are ambiguous. Indeed logicians, many of whom restrict their attention to propositions, MUST recognise logical ambiguity at this point. For the contextualisation of the negative sentences in section 6 showed that it was possible to assert the falsity of some proposition P expressed by the sentence S while asserting a further proposition which was compatible with the truth of S. However the corresponding conclusion that such sentence-strings are sententially ambiguous is not a necessary conclusion for the linguist: for the alternative account of postulating a single semantic representation plus a set of semantic procedures is also compatible with the negation evidence. Moreover we have seen independent reasons for thinking that if sentential ambiguity is assumed to be in one-to-one correspondence with what we should now call logical ambiguity, a considerable body of generalisations is lost. For the maximal ambiguity account, it should be recalled, is committed to assigning at least thirteen distinct propositions and hence thirteen distinct sentence outputs for every sentence-string containing no more than two quantifiers, for three out of the four interpretations originally outlined in this paper can be understood with each numeral taken either in an ’exactly’ sense or in an ’at least’ sense. Moreover there is no explanation of why just these interpretations are available-they are merely an arbitrary list, no more connected than are the two interpretations of John saw her duck, with no reason to predict that the ambiguity would carry over from language to language. If then it is granted that an ambiguity account fails to capture appropriate generalisations, only two alternative accounts of mixed quantification sentence-strings remain viable-an analysis proposing an initial co-ordinate logical form like the logical form III, which is the strongest form compatible with each of the propositional interpretations of sentence-string Two examiners marked six scripts, and the radically weak form in which only existential quantification (both over sets and over members of those sets) is invoked. Since there are strong arguments to suggest that the procedures which both analyses require are semantic, there seems no reason not to adopt the radical vagueness account, with its considerably greater simplicity. (shrink)

We prove that the logics of Magidor-Malitz and their generalization by Rubin are distinct even for PC classes. Let $M \models Q^nx_1 \cdots x_n \varphi(x_1 \cdots x_n)$ mean that there is an uncountable subset A of |M| such that for every $a_1, \ldots, a_n \in A, M \models \varphi\lbrack a_1, \ldots, a_n\rbrack$ . Theorem 1.1 (Shelah) $(\diamond_{\aleph_1})$ . For every n ∈ ω the class $K_{n + 1} = \{\langle A, R\rangle \mid \langle A, R\rangle \models \neg Q^{n + 1} (...) x_1 \cdots x_{n + 1} R(x_1, \ldots, x_{n + 1})\}$ is not an ℵ 0 -PC-class in the logic L n , obtained by closing first order logic under Q 1 , ..., Q n . I.e. for no countable L n -theory T, is K n + 1 the class of reducts of the models of T. Theorem 1.2 (Rubin) $(\diamond_{\aleph_1}).^3$ . Let $M \models Q^E x y\varphi(x, y)$ mean that there is $A \subseteq |M|$ such that $E_{A, \varphi} = \{\langle a, b \rangle \mid a, b \in A$ and $M \models \varphi\lbrack a, b\rbrack\}$ is an equivalence relation on A with uncountably many equivalence classes, and such that each equivalence class is uncountable. Let $K^E = \{\langle A, R\rangle\mid \langle A, R\rangle\models \neg Q^Exy R(x, y)\}$ . Then K E is not an ℵ 0 -PC-class in the logic gotten by closing first order logic under the set of quantifiers {Q n ∣ n ∈ ω} which were defined in Theorem 1.1. (shrink)

In this article, I discuss the concept of robustness in neuroscience. Various mechanisms for making systems robust have been discussed across biology and neuroscience. Many of these notions originate from engineering. I argue that concepts borrowed from engineering aid neuroscientists in operationalizing robustness, formulating hypotheses about mechanisms for robustness, and quantifying robustness. Furthermore, I argue that the significant disanalogies between brains and engineered artifacts raise important questions about the applicability of the engineering framework. I argue that the use of such (...) concepts should be understood as a kind of simplifying idealization. (shrink)

Given a lovely pair P ≺ M of models of a simple theory T, we study the structure whose universe is P and whose relations are the traces on P of definable (in ℒ with parameters from M) sets in M. We give a necessary and sufficient condition on T (which we call weak lowness) for this structure to have quantifier-elimination. We give an example of a non-weakly-low simple theory.

We consider the question, of longstanding interest, of realizing types in regular ultrapowers. In particular, this is a question about the interaction of ultrafilters and theories, which is both coarse and subtle. By our prior work it suffices to consider types given by instances of a single formula. In this article, we analyze a class of formulas φ whose associated characteristic sequence of hypergraphs can be seen as describing realization of first- and second-order types in ultrapowers on one hand, and (...) properties of the corresponding ultrafilters on the other. These formulas act, via the characteristic sequence, as points of contact with the ultrafilter D, in the sense that they translate structural properties of ultrafilters into model-theoretically meaningful properties and vice versa. Such formulas characterize saturation for various key theories , yet their scope in Keisler’s order does not extend beyond Tfeq. The proof applies Shelah’s classification of second-order quantifiers. (shrink)

We say that a first order formula Φ distinguishes a structure M over a vocabulary L from another structure M' over the same vocabulary if Φ is true on M but false on M'. A formula Φ defines an L-structure M if Φ distinguishes M from any other non-isomorphic L-structure M'. A formula Φ identifies an n-element L-structure M if Φ distinguishes M from any other non-isomorphic n-element L-structure M'. We prove that every n-element structure M is identifiable by a (...) formula with quantifier rank less than (1- 1/2k)n+k²-k+4 and at most one quantifier alternation, where k is the maximum relation arity of M. Moreover, if the automorphism group of M contains no transposition of two elements, the same result holds for definability rather than identification. The Bernays-Schönfinkel class consists of prenex formulas in which the existential quantifiers all precede the universal quantifiers. We prove that every n-element structure M is identifiable by a formula in the Bernays-Schönfinkel class with less than (1-1/2k²+2)n+k quantifiers. If in this class of identifying formulas we restrict the number of universal quantifiers to k, then less than n-√ n+k²+k quantifiers suffice to identify M and, as long as we keep the number of universal quantifiers bounded by a constant, at total n-O(√ n) quantifiers are necessary. (shrink)

We give necessary conditions for a set to be definable by a formula with a universal quantifier and an existential quantifier over algebraic integer rings or algebraic number fields. From these necessary conditions we obtain some undefinability results. For example, N is not definable by such a formula over Z. This extends a previous result of R. M. Robinson.

In 1958 Arnould Bayart, 1911-1998, produced a semantics for first and second-order S5 modal logic, and in 1959 a completeness proof for first-order S5, and what he calls a 'quasi-completeness' proof for second-order S5. The 1959 paper is the first completeness proof for modal predicate logic based on the Henkin construction of maximal consistent sets, and indeed may be the easier application of the Henkin method even to propositional modal logic. The semantics is in terms of possible worlds, which, Bayart (...) notes, can be anything at all. The present paper provides an English translation of both these papers together with an historical introduction and a logical commentary. (shrink)

Over the past fifteen years there has been a considerable amount of debate concerning what theoretical population dynamic models tell us about the nature of natural selection and drift. On the causal interpretation, these models describe the causes of population change. On the statistical interpretation, the models of population dynamics models specify statistical parameters that explain, predict, and quantify changes in population structure, without identifying the causes of those changes. Selection and drift are part of a statistical description of population (...) change; they are not discrete, apportionable causes. Our objective here is to provide a definitive statement of the statistical position, so as to allay some confusions in the current literature. We outline four commitments that are central to statisticalism. They are: 1. Natural Selection is a higher order effect; 2. Trait fitness is primitive; 3. Modern Synthesis (MS)-models are substrate neutral; 4. MS-selection and drift are model-relative. (shrink)

There are strong indications that many consumers are switching towards more socially and environmentally responsible products and services, reflecting a shift in consumer values indicated in several countries. However, little is known about the motives that drive some toward, or deter others from, higher levels of ethical concern and action in their purchasing decisions. Following a qualitative investigation using ZMET and focus group discussions, a questionnaire was developed and administered to a representative sample of consumers; nearly 1,000 usable questionnaires were (...) collected. The degree of awareness, concern and action regarding 16 ethical issues was quantified, using a measure developed from the Stages of Change concept within the Transtheoretical model. Motivations for ethical behaviour, in relation to each individual’s most salient ethical issue, were investigated using initially 22 motive statements within the framework of the Decisional Balance Scale (DBS). The findings suggest that the DBS and Stages model have an explanatory value within the ethical decision-making context, and that the motives identified do reflect the Decisional Balance Constructs. Indeed the study suggests that respondents’ motivational attitudes are a function of their stage of ethical awareness, concern and action. Therefore, the Decisional Balance Scale may well prove useful for designing appropriate interventions and communications to facilitate movement towards more ethical decision-making. These findings yield strategic insight for communicating messages to ethical consumers and for better understanding their purchasing decisions. (shrink)

The theories of reasoned action and planned behaviour have fundamentally changed the view that attitudes directly translate into behaviour by introducing intentions as a crucial intervening stage. Much research across numerous ethical contexts has drawn on these theories to offer a better understanding of how consumers form intentions to act in an ethical way. Persistently, researchers have suggested and discussed the existence of an intention–behaviour gap in ethical consumption. Yet, the factors that influence the extent of this gap and its (...) magnitude have not been systematically examined. We, therefore, contribute to the debate on the intention–behaviour gap by reviewing the empirical TRA/tpb studies that have assessed both intention and behaviour in ethical contexts. The findings from our review show that few studies assessed the intention–behaviour relationship and as a result, there is limited empirical evidence to date to quantify more accurately the intention–behaviour gap in ethical consumption. Our second contribution aims to provide an empirical case study which assesses the magnitude of the intention–behaviour gap in the context of avoidance of sweatshop clothing and to assess the roles of planning and actual behavioural control in potentially reducing the intention–behaviour gap. The findings of our case study suggest that there is indeed a large gap between intention and behaviour, and we conclude by calling for more empirical longitudinal studies to assess the complex nature of the relationship between intention and behaviour. (shrink)

Fisher’s 1918 paper accomplished two distinct goals: unifying discrete Mendelian genetics with continuous biometric phenotypes and quantifying the variance components of variation in complex human characteristics. The former contributed to the foundation of modern quantitative genetics; the latter was adopted by social scientists interested in the pursuit of Galtonian nature-nurture questions about the biological and social origins of human behavior, especially human intelligence. This historical divergence has produced competing notions of the estimation of variance ratios referred to as heritability. Jay (...) Lush showed that they could be applied to selective breeding on the farm, while the early twin geneticists used them as a descriptive statistic to describe the degree of genetic determination in complex human traits. Here we trace the early history of the heritability coefficient now used by social scientists. (shrink)

Reading is not only “cold” information processing, but involves affective and aesthetic processes that go far beyond what current models of word recognition, sentence processing, or text comprehension can explain. To investigate such “hot” reading processes, standardized instruments that quantify both psycholinguistic and emotional variables at the sublexical, lexical, inter-, and supralexical levels (e.g., phonological iconicity, word valence, arousal-span, or passage suspense) are necessary. One such instrument, the Berlin Affective Word List (BAWL) has been used in over 50 published studies (...) demonstrating effects of lexical emotional variables on all relevant processing levels (experiential, behavioral, neuronal). In this paper, we first present new data from several BAWL studies. Together, these studies examine various views on affective effects in reading arising from dimensional (e.g., valence ) and discrete emotion features (e.g., happiness ), or embodied cognition features like smelling. Second, we extend our investigation of the complex issue of affective word processing to words characterized by a mixture of affects. These words entail positive and negative valence, and/or features making them beautiful or ugly. Finally, we discuss tentative neurocognitive models of affective word processing in the light of the present results, raising new issues for future studies. (shrink)

The presence of general intelligence poses a major evolutionary puzzle, which has led to increased interest in its presence in nonhuman animals. The aim of this review is to critically evaluate this question and to explore the implications for current theories about the evolution of cognition. We first review domain-general and domain-specific accounts of human cognition in order to situate attempts to identify general intelligence in nonhuman animals. Recent studies are consistent with the presence of general intelligence in mammals (rodents (...) and primates). However, the interpretation of a psychometricgfactor as general intelligence needs to be validated, in particular in primates, and we propose a range of such tests. We then evaluate the implications of general intelligence in nonhuman animals for current theories about its evolution and find support for the cultural intelligence approach, which stresses the critical importance of social inputs during the ontogenetic construction of survival-relevant skills. The presence of general intelligence in nonhumans implies that modular abilities can arise in two ways, primarily through automatic development with fixed content and secondarily through learning and automatization with more variable content. The currently best-supported model, for humans and nonhuman vertebrates alike, thus construes the mind as a mix of skills based on primary and secondary modules. The relative importance of these two components is expected to vary widely among species, and we formulate tests to quantify their strength. (shrink)

We present a new method for characterizing the interpretive possibilities generated by elliptical constructions in natural language. Unlike previous analyses, which postulate ambiguity of interpretation or derivation in the full clause source of the ellipsis, our analysis requires no such hidden ambiguity. Further, the analysis follows relatively directly from an abstract statement of the ellipsis interpretation problem. It predicts correctly a wide range of interactions between ellipsis and other semantic phenomena such as quantifier scope and bound anaphora. Finally, although (...) the analysis itself is stated nonprocedurally, it admits of a direct computational method for generating interpretations. (shrink)

Every paper in this collection is worth reading, for one reason or another. Still, due to certain problematic metametaphysical presuppositions most of these discussions miss the deeper mark, on the pessimist as well as the optimist side. My reasons for thinking this come from considering how best to answer three metametaphysical questions. First, why be pessimistic about metaphysics – why be Carnapian in a post-positivist age? There is, I’ll suggest, a post-positivist strategy for reviving Carnapian pessimism, but it is almost (...) entirely neglected here; and the motivations that pessimists offer instead are not compelling. Second, why think that the best way to approach metametaphysical questions is by attention to features of language, and in particular to quantifier semantics, in ordinary or ontological language(s)? Here again we are offered little motivation for this supposition, which, notwithstanding its acceptance by nearly all contributors, faces clear difficulties. Third, granting that quantification is somehow bound up with first-order questions about what exists, what is the nature of this connection, and what are the associated implications for metametaphysics? Here I find the accounts of the connection on offer implausible, especially as compared to an alternative that makes better sense of metaphysical practice and disagreement. The moral following consideration of these questions is that real progress in metametaphysics is likely to occur less by attention to semantic issues pertaining to representation, translation and quantification and more to non-semantic issues pertaining to epistemology and metaphysical determinacy. (shrink)

The capacity to generate recursive sequences is a marker of rich, algorithmic cognition, and perhaps unique to humans. Yet, the precise processes driving recursive sequence generation remain mysterious. We investigated three potential cognitive mechanisms underlying recursive pattern processing: hierarchical reasoning, ordinal reasoning, and associative chaining. We developed a Bayesian mixture model to quantify the extent to which these three cognitive mechanisms contribute to adult humans’ performance in a sequence generation task. We further tested whether recursive rule discovery depends upon relational (...) information, either perceptual or semantic. We found that the presence of relational information facilitates hierarchical reasoning and drives the generation of recursive sequences across novel depths of center embedding. In the absence of relational information, the use of ordinal reasoning predominates. Our results suggest that hierarchical reasoning is an important cognitive mechanism underlying recursive pattern processing and can be deployed across embedding depths and relational domains. (shrink)

Protein turnover (PT) has been formally defined only in equilibrium conditions, which is ill‐suited to quantify PT during dynamic processes that occur during embryogenesis or (extra) cellular signaling. In this Hypothesis, we propose a definition of PT in an out‐of‐equilibrium regime that allows the quantification of PT in virtually any biological context. We propose a simple mathematical and conceptual framework applicable to a broad range of available data, such as RNA sequencing coupled with pulsed‐SILAC datasets. We apply our framework to (...) a published dataset and show that stimulation of mouse dendritic cells with LPS leads to a proteome‐wide change in PT. This is the first quantification of PT out‐of‐equilibrium, paving the way for the analysis of biological systems in other contexts. (shrink)

Davidsonian analyses of action reports like ‘Alvin chased Theodore around a tree’ are often viewed as supporting the hypothesis that sentences of a human language H have truth conditions that can be specified by a Tarski-style theory of truth for H. But in my view, simple cases of adverbial modification add to the reasons for rejecting this hypothesis, even though Davidson rightly diagnosed many implications involving adverbs as cases of conjunct-reduction in the scope of an existential quantifier. I think (...) the puzzles in this vicinity reflect “framing effects,” which reveal the implausibility of certain assumptions about how linguistic meaning is related to truth and logical form. We need to replace these assumptions with alternatives, instead of positing implausible values of event-variables or implausible relativizations of truth to linguistic descriptions of actual events. (shrink)

Analyzes difficult case in the theory of truthmaking. Account on the notion of a truthmaker by philosopher Bertrand Russell; Context of the correspondence theory of truth; Requisites of a truthmaker; Discussion on negative truths, universally quantified truths and modal truths.

Hybridization is a method invented by Arthur Prior for extending the expressive power of modal languages. Although developed in interesting ways by Robert Bull, and by the Sofia school , the method remains little known. In our view this has deprived temporal logic of a valuable tool.The aim of the paper is to explain why hybridization is useful in temporal logic. We make two major points, the first technical, the second conceptual. First, we show that hybridization gives rise to well-behaved (...) logics that exhibit an interesting synergy between modal and classical ideas. This synergy, obvious for hybrid languages with full first-order expressive strength, is demonstrated for a weaker local language capable of defining the Until operator; we provide a minimal axiomatization, and show that in a wide range of temporally interesting cases extended completeness results can be obtained automatically. Second, we argue that the idea of sorted atomic symbols which underpins the hybrid enterprise can be developed further. To illustrate this, we discuss the advantages and disadvantages of a simple hybrid language which can quantify over paths. (shrink)

This paper compares the development of the notion of continuous quantity in the work of Francisco Suárez and René Descartes. The discussion begins with a consideration of Suárez’s rejection of the view – common to ‘realists’ such as Thomas Aquinas and ‘nominalists’ such as William of Ockham – that quantity is inseparable from the extension of material integral parts. Crucial here is Suárez’s view that quantified extension exhibits a kind of impenetrability that distinguishes it from other kinds of extension. This (...) view sheds considerable light on initially obscure remarks on impenetrability in Descartes’ late correspondence with Henry More. Though Descartes differs from Suárez and other major scholastic figures in his understanding of the relation of quantity to material substance, he nonetheless requires in the end some version of the Suárezian distinction between quantified and unquantified extension. (shrink)

It has consistently been shown that agents judge the intervals between their actions and outcomes as compressed in time, an effect named intentional binding. In the present work, we investigated whether this effect is result of prior bias volunteers have about the timing of the consequences of their actions, or if it is due to learning that occurs during the experimental session. Volunteers made temporal estimates of the interval between their action and target onset , or between two events . (...) Our results show that temporal estimates become shorter throughout each experimental block in both conditions. Moreover, we found that observers judged intervals between action and outcomes as shorter even in very early trials of each block. To quantify the decrease of temporal judgments in experimental blocks, exponential functions were fitted to participants’ temporal judgments. The fitted parameters suggest that observers had different prior biases as to intervals between events in which action was involved. These findings suggest that prior bias might play a more important role in this effect than calibration-type learning processes. (shrink)

How do people make deductions? The orthodox view in psychology is that they use formal rules of inference like those of a “natural deduction” system.Deductionargues that their logical competence depends, not on formal rules, but on mental models. They construct models of the situation described by the premises, using their linguistic knowledge and their general knowledge. They try to formulate a conclusion based on these models that maintains semantic information, that expresses it parsimoniously, and that makes explicit something not directly (...) stated by any premise. They then test the validity of the conclusion by searching for alternative models that might refute the conclusion. The theory also resolves long-standing puzzles about reasoning, including how nonmonotonic reasoning occurs in daily life. The book reports experiments on all the main domains of deduction, including inferences based on prepositional connectives such as “if” and “or,” inferences based on relations such as “in the same place as,” inferences based on quantifiers such as “none,” “any,” and “only,” and metalogical inferences based on assertions about the true and the false. Where the two theories make opposite predictions, the results confirm the model theory and run counter to the formal rule theories. Without exception, all of the experiments corroborate the two main predictions of the model theory: inferences requiring only one model are easier than those requiring multiple models, and erroneous conclusions are usually the result of constructing only one of the possible models of the premises. (shrink)

The ethical considerations of insider trading have been widely debated in the academic literature :171–182, 1990). In 2013, the STOCK Act, which was initially passed to mitigate insider trading by government officials, was quickly and unexpectedly amended to allow certain government employees to withhold their financial information. To identify and quantify the potential costs placed on investors by non-corporate insider traders, we use the unusual circumstances surrounding this amendment. For a sample of stocks most held by members of Congress, we (...) find that, relative to control stocks, liquidity significantly worsens and volatility increases during the post-amendment period. Our results highlight the costs that are incurred by investors in the presence of non-corporate insider trading. These findings call for a stronger development of an ethical framework that justifies the restriction of all types of insider trading. (shrink)

The present study aimed at investigating the heavy metals concentrations in the soils around “Larga de Sus” abandoned mine (Zlatna, Romania), evaluating the potential ecological risk of heavy metal pollution and highlighting ethical aspects related to risk assessment, ecological restoration, and soil remediation. The results of the chemical analysis showed that the soil in the study area is highly polluted with heavy metals since the average concentrations of Pb (32.4–2318.1 mg/kg), and Ni (321.6–562.8 mg/kg) in soil exceed their corresponding threshold (...) established by the Romanian legislation. The potential ecological risk index method developed by Hakanson was used to assess the potential risk of heavy-metal pollution. The results indicated that Pb and Ni showed severe and considerable potential ecological risk, while Cr had lightly ecological risk. In this case, remediation should be focused only on Pb or on all heavy metals even if they have lightly ecological risk? A scientific management technique cannot logically prescribe which choices should be selected. The interaction between human activity and the environment is complicated and difficult to quantify and risk management cannot and should not be based simply on risk assessment results. What is needed to make the right choice of the most appropriate alternative that fits our personality, culture, religion, and desires? The moral and ethical implications of ecological restoration and soil remediation (e.g. tolerance of uncertainty, responsibility, moral duty, etc.) have to be incorporated within the decision-making process in order to make optimum sustainable decisions and to achieve real environmental protection. (shrink)

Systematic semantic ambiguities result from the interaction of the two operations that are involved in resolving ellipsis in the presence of scoping elements such as quantifiers and intensional operators: scope determination for the scoping elements and resolution of the elided relation. A variety of problematic examples previously noted - by Sag, Hirschbüihler, Gawron and Peters, Harper, and others - all have to do with such interactions. In previous work, we showed how ellipsis resolution can be stated and solved in equational (...) terms. Furthermore, this equational analysis of ellipsis provides a uniform framework in which interactions between ellipsis resolution and scope determination can be captured. As a consequence, an account of the problematic examples follows directly from the equational method. The goal of this paper is merely to point out this pleasant aspect of the equational analysis, through its application to these cases. No new analytical methods or associated formalism are presented, with the exception of a straightforward extension of the equational method to intensional logic. (shrink)

ABSTRACT:Biomedical and philosophical traditions postulate the experience of pain either as quantifiable or as sociocultural phenomena. This critical assessment offers a close reading of Lara Parker’s Vagina Problems: Endometriosis, Painful Sex, and Other Taboo Topics (2020) and Abby Norman’s Ask Me About My Uterus: A Quest to Make Doctors Believe in Women’s Pain (2018), analyzing the authors’ use of language as a tool to comprehend and communicate pain. Norman’s and Parker’s memoirs narrate the lived experience of endometriosis, a condition diagnosed (...) almost exclusively in women and characterized by chronic pain. The essay looks at how metaphors are employed in living and narrating endometriosis in medical, social, and cultural settings that are highly skeptical of women’s pain and trace a shift in the use of pain metaphors towards an acceptance of the pain experience, which is conceptualized as empowering by the climax of the narrative. (shrink)

When forecasting events, multiple types of uncertainty are often inherently present in the modeling process. Various uncertainty typologies exist, and each type of uncertainty has different implications a scientist might want to convey. In this work, we focus on one type of distinction betweendirect quantitative uncertaintyandindirect qualitative uncertainty. Direct quantitative uncertainty describes uncertainty about facts, numbers, and hypotheses that can be communicated in absolute quantitative forms such as probability distributions or confidence intervals. Indirect qualitative uncertainty describes the quality of knowledge (...) concerning how effectively facts, numbers, or hypotheses represent reality, such as evidence confidence scales proposed by the Intergovernmental Panel on Climate Change. A large body of research demonstrates that both experts and novices have difficulty reasoning with quantitative uncertainty, and visualizations of uncertainty can help with such traditionally challenging concepts. However, the question of if, and how, people may reason with multiple types of uncertainty associated with a forecast remains largely unexplored. In this series of studies, we seek to understand if individuals can integrate indirect uncertainty about how “good” a model is (operationalized as a qualitative expression of forecaster confidence) with quantified uncertainty in a prediction (operationalized as a quantile dotplot visualization of a predicted distribution). Our first study results suggest that participants utilize both direct quantitative uncertainty and indirect qualitative uncertainty when conveyed as quantile dotplots and forecaster confidence. In manipulations where forecasters were less sure about their prediction, participants made more conservative judgments. In our second study, we varied the amount of quantified uncertainty (in the form of the SD of the visualized distributions) to examine how participants’ decisions changed under different combinations of quantified uncertainty (variance) and qualitative uncertainty (low, medium, and high forecaster confidence). The second study results suggest that participants updated their judgments in the direction predicted by both qualitative confidence information (e.g., becoming more conservative when the forecaster confidence is low) and quantitative uncertainty (e.g., becoming more conservative when the variance is increased). Based on the findings from both experiments, we recommend that forecasters present qualitative expressions of model confidence whenever possible alongside quantified uncertainty. (shrink)

Community-based interventions (CBIs) show promise as effective and cost-effective obesity prevention initiatives. CBIs are typically complex interventions, including multiple settings, strategies and stakeholders. Cost-effectiveness evidence, however, generally only considers a narrow range of costs and benefits associated with anthropometric outcomes. While it is recognised that the complexity of CBIs may result in broader non-health societal and community benefits, the identification, measurement, and quantification of these outcomes is limited. This study aimed to understand the perspectives of stakeholders on the broader benefits (...) of CBIs and their measurement, as well as perceptions of CBI cost-effectiveness. Purposive sampling was used to recruit participants from three stakeholder groups (lead researchers, funders, and community stakeholders of CBIs). Online semi-structured interviews were conducted, taking a constructivist approach. Coding, theme development and analysis were based on published guidance for thematic analysis. Twenty-six stakeholders participated in the interviews (12 lead researchers; 7 funders; 6 community stakeholders). Six key themes emerged; (1) Impacts of CBIs (health impacts and broader impacts); (2) Broader benefits were important to stakeholders; (3) Measurement of benefits are challenging; (4) CBIs were considered cost-effective; (5) Framing CBIs for community engagement (6) Making equitable impacts and sustaining changes—successes and challenges. Across all stakeholders, broader benefits, particularly the establishment of networks and partnerships within communities, were seen as important outcomes of CBIs. Participants viewed the CBI approach to obesity prevention as cost-effective, however, there were challenges in measuring, quantifying and valuing broader benefits. Development of tools to measure and quantify broader benefits would allow for more comprehensive evaluation of the cost-effectiveness of CBIs for obesity prevention. (shrink)